Clairvoyant: a synthesis system for production-based specification
نویسندگان
چکیده
منابع مشابه
Clairvoyant: a synthesis system for production-based specification
This paper describes a new high-level synthesis system based on the hierarchical Production-Based Specification (PBS). Advantages of this form of specification are that the designer does not describe the control flow in terms of explicit states or control variables and that the designer does not describe a particular form of implementation. The production-based specification also separates the ...
متن کاملA Specification for an Autonomous Crop Production Mechanization System
This paper describes the specification of requirements and the functionality, of a novel agricultural mechanisation system based on small smart machines. It separates the current mechanisation methods from the original plant requirements and in doing so allows a new specification to develop based on agronomic, economic and environmental needs that can lead to a more sustainable production syste...
متن کاملA novel risk-based analysis for the production system under epistemic uncertainty
Risk analysis of production system, while the actual and appropriate data is not available, will cause wrong system parameters prediction and wrong decision making. In uncertainty condition, there are no appropriate measures for decision making. In epistemic uncertainty, we are confronted by the lack of data. Therefore, in calculating the system risk, we encounter vagueness that we have to use ...
متن کاملKnowledge-based system for collaborative process specification
This paper presents an ontology-based approach for the design of a collaborative business process model (CBP). This CBP is considered as a specification of needs in order to build a collaboration information system (CIS) for a network of organisations. The study is a part of a model driven engineering approach of the CIS in a specific enterprise interoperability framework that will be summarise...
متن کاملOptimization Models for a Deteriorating Single Server Queuing Production System
In this paper a single server queuing production system is considered which is subject to gradual deterioration. The system is discussed under two different deteriorating conditions. A planning horizon is considered and server which is a D/M/1 queuing system is gradually deteriorates through time periods. A maintenance policy is taken into account whereby the server is restored to its initial ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Very Large Scale Integration (VLSI) Systems
سال: 1994
ISSN: 1063-8210
DOI: 10.1109/92.285744